| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Algorithmics | Klausur Höhere Algorithmik | Fach-/Modulprüfung | 6 | 431525 | ||
| Höhere Algorithmik Übung | Übung | 431521 | ||||
| Höhere Algorithmik | Vorlesung | 426476 | Do 10:30-12:00 Online-Veranstaltung (×12) Fr 10:30-12:00 Online-Veranstaltung (×10) | |||
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 6 | 420645 | ||
| Advanced Automata Theory | Übung | 419071 | Mo 13:00-15:00 TEMP2 (1515|002) (×1) Mo 18:30-20:00 Online-Veranstaltung (×14) Di 11:00-13:00 TEMP1 (1515|001) (×1) | |||
| Advanced Automata Theory | Vorlesung | 419595 | Di 08:30-10:00 Online-Veranstaltung (×13) Mi 08:30-10:00 Online-Veranstaltung (×13) | |||
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 422515 | ||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 6 | 433043 | ||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 422632 | ||
| Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | 429110 | ||
| Modellierung und Verifikation probabilistischer Systeme | Übung | 425173 | Di 12:30-14:00 Online-Veranstaltung (×13) | |||
| Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 425172 | Di 08:30-10:00 Online-Veranstaltung (×14) Fr 08:30-10:00 Online-Veranstaltung (×14) | |||
| Online Algorithms | Online Algorithmen | Fach-/Modulprüfung | 6 | 412667 | ||
| Probabilistic Programming | Probabilistische Programmierung | Fach-/Modulprüfung | 6 | 429307 | ||
| Quantum Computing | Quantum Computing | Fach-/Modulprüfung | 4 | 424163 | ||
| Recursion Theory | Rekursionstheorie | Fach-/Modulprüfung | 6 | 429579 | ||
| Rekursionstheorie | Übung | 424973 | Mo 12:30-14:00 Online-Veranstaltung (×6) | |||
| Rekursionstheorie | Vorlesung | 424974 | Mo 10:30-12:00 Online-Veranstaltung (×8) Do 10:30-12:00 Online-Veranstaltung (×10) | |||
| Semantics and Verification of Software | Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 422954 | ||
| Semantik und Verifikation von Software | Übung | 425178 | Mo 14:30-16:00 Online-Veranstaltung (×11) | |||
| Semantik und Verifikation von Software | Vorlesung | 425179 | Mi 10:30-12:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Static Program Analysis | Statische Programmanalyse | Fach-/Modulprüfung | 6 | 420846 | ||
| The Graph Isomorphism Problem | Das Graphisomorphieproblem | Fach-/Modulprüfung | 6 | 423968 | ||
| Theory of Constraint Satisfaction Problems | Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 422464 | ||
| Theory of Distributed and Parallel Systems | Theorie Verteilter und Paralleler Systeme | Fach-/Modulprüfung | 6 | 420996 | ||
| Theorie Verteilter und Paralleler Systeme | Vorlesung | 426474 | Mi 12:30-14:00 Online-Veranstaltung (×12) Fr 08:30-10:00 Online-Veranstaltung (×7) |